Finiteness results concerning algebraic power series
نویسندگان
چکیده
We construct an explicit filtration of the ring algebraic power series by constructible sets, measuring complexity these series. As example use this, we give a bound on dimension set bounded lying variety defined over field
منابع مشابه
ALGEBRAIC INDEPENENCE OF CERTAIN FORMAL POWER SERIES (II)
We shall extend the results of [5] and prove that if f = Z o a x ? Z [[X]] is algebraic over Q (x), where a = 1, ƒ 1 and if ? , ? ,..., ? are p-adic integers, then 1 ? , ? ,..., ? are linkarly independent over Q if and only if (1+x) ,(1+x) ,…,(1+x) are algebraically independent over Q (x) if and only if f , f ,.., f are algebraically independent over Q (x)
متن کاملALGEBRAIC INDEPENDENCE OF CERTAIN FORMAL POWER SERIES (I)
We give a proof of the generalisation of Mendes-France and Van der Poorten's recent result over an arbitrary field of positive characteristic and then by extending a result of Carlitz, we shall introduce a class of algebraically independent series.
متن کاملEffective Algebraic Power Series
The division algorithm for ideals of algebraic power series satisfying Hironaka’s box condition is shown to be finite when expressed suitably in terms of the defining polynomial codes of the series.
متن کاملEncoding Algebraic Power Series
The division algorithm for ideals of algebraic power series satisfying Hironaka’s box condition is shown to be finite when expressed suitably in terms of the defining polynomial codes of the series. In particular, the codes of the reduced standard basis of the ideal can be constructed effectively.
متن کاملAnalytical and Verified Numerical Results Concerning Interval Continuous-time Algebraic Riccati Equations
This paper focuses on studying the interval continuous-time algebraic Riccati equation A∗X + XA + Q − XGX = 0, both from the theoretical aspects and the computational ones. In theoretical parts, we show that Shary’s results for interval linear systems can only be partially generalized to this interval Riccati matrix equation. We then derive an efficient technique for enclosing the united stable...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2021
ISSN: ['1873-1376', '0022-4049']
DOI: https://doi.org/10.1016/j.jpaa.2020.106627